From: Giovanni Campagna <gcampagna@src.gnome.org>
Date: Mon, 28 Jan 2013 22:22:23 +0000 (+0100)
Subject: dash: add a workaround for Clutter bug 692744
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~4674
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=8bcb10391ed342bf99447999c7e93a6a65eb9206;p=gnome-shell.git

dash: add a workaround for Clutter bug 692744

https://bugzilla.gnome.org/show_bug.cgi?id=690643
---

diff --git a/js/ui/dash.js b/js/ui/dash.js
index 1eb8d9975..0de00a29c 100644
--- a/js/ui/dash.js
+++ b/js/ui/dash.js
@@ -789,6 +789,10 @@ const Dash = new Lang.Class({
         for (let i = 0; i < addedItems.length; i++) {
             addedItems[i].item.show(animate);
         }
+
+        // Workaround for https://bugzilla.gnome.org/show_bug.cgi?id=692744
+        // Without it, StBoxLayout may use a stale size cache
+        this._box.queue_relayout();
     },
 
     _clearDragPlaceholder: function() {